extract :: w c -> c